تعداد ۱ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۰,۷۰ ثانیه یافت شد.

1. Symbolic model checking

پدیدآورنده : by Kenneth L. McMillan

موضوع : Electronic digital computers - Circuits - Design - Data processing,Symbolic circuit analysis - Data processing,Logic design - Data processing

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها